Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
461	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
462	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
463	Validation Engineering & FDA Compliance Specification Development, Design, Verification, and Validation of Pharmaceutical, Biopharmaceutical, Medical Device, and other FDA Regulated Industries A good validation program c Add to Reading List Source URL: www.deatonengineering.com Language: English - Date: 2009-11-10 14:28:18 Business Validation Verification and validation Good manufacturing practice Verification Specification Software development process Cold chain Good Automated Manufacturing Practice Pharmaceutical industry Science Technology
464	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
465	Rules for inspection according to the European Union Environmental Technology Verification Pilot Programme th Add to Reading List Source URL: www.rina.org Language: English - Date: 2014-10-06 08:40:17 Technology Quality management Software testing Environmental Technology Verification Program Science Business Verification Validation Test plan Systems engineering Pharmaceutical industry Validity
466	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
467	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
468	Microsoft Word - File Security - MD5 v1_0-hwm.doc Add to Reading List Source URL: estri.org Language: English - Date: 2012-06-05 01:13:02 Checksum Electronic Common Technical Document MD5 Cryptographic hash function Cksum Sum Simple file verification Computing Software Unix
469	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations? David Delahaye1 , Catherine Dubois2 , Claude Marché3 , and David Mentré4 (for the BWare project consortium?? ) 1 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:57:11 Formal methods Automated theorem proving Logic in computer science Proof assistant Coq Mathematical proof TPTP KeY Formal verification Theoretical computer science Mathematics Mathematical software
470	Microsoft Word - File Security - MD5 v1_0-hwm.doc Add to Reading List Source URL: estri.ich.org Language: English - Date: 2012-06-04 19:13:02 Checksum Electronic Common Technical Document MD5 Cryptographic hash function Cksum Sum Simple file verification Computing Software Unix

UPDATE